match [] with
| (_ as t) :: _ -> ()
| _ :: (_ as t) -> ()
| (_ :: _ as t) -> ()
| _ :: (_ :: _ as t) :: _ -> ()
| _ :: ((_ :: _ as t)) :: _ -> ()
| _ :: ((_ :: _ as t) :: _) -> ()
